Character Tables
   HOME

TheInfoList



OR:

In
group theory In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
, a branch of
abstract algebra In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
, a character table is a two-dimensional table whose rows correspond to
irreducible representation In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W ...
s, and whose columns correspond to
conjugacy classes In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other wor ...
of group elements. The entries consist of
character Character or Characters may refer to: Arts, entertainment, and media Literature * ''Character'' (novel), a 1936 Dutch novel by Ferdinand Bordewijk * ''Characters'' (Theophrastus), a classical Greek set of character sketches attributed to The ...
s, the
traces Traces may refer to: Literature * ''Traces'' (book), a 1998 short-story collection by Stephen Baxter * ''Traces'' series, a series of novels by Malcolm Rose Music Albums * ''Traces'' (Classics IV album) or the title song (see below), 1969 * ''Tra ...
of the matrices representing group elements of the column's class in the given row's group representation. In
chemistry Chemistry is the science, scientific study of the properties and behavior of matter. It is a natural science that covers the Chemical element, elements that make up matter to the chemical compound, compounds made of atoms, molecules and ions ...
,
crystallography Crystallography is the experimental science of determining the arrangement of atoms in crystalline solids. Crystallography is a fundamental subject in the fields of materials science and solid-state physics (condensed matter physics). The wor ...
, and
spectroscopy Spectroscopy is the field of study that measures and interprets the electromagnetic spectra that result from the interaction between electromagnetic radiation and matter as a function of the wavelength or frequency of the radiation. Matter wa ...
, character tables of point groups are used to classify ''e.g.'' molecular vibrations according to their symmetry, and to predict whether a transition between two states is forbidden for symmetry reasons. Many university level textbooks on
physical chemistry Physical chemistry is the study of macroscopic and microscopic phenomena in chemical systems in terms of the principles, practices, and concepts of physics such as motion, energy, force, time, thermodynamics, quantum chemistry, statistical mecha ...
,
quantum chemistry Quantum chemistry, also called molecular quantum mechanics, is a branch of physical chemistry focused on the application of quantum mechanics to chemical systems, particularly towards the quantum-mechanical calculation of electronic contributions ...
,
spectroscopy Spectroscopy is the field of study that measures and interprets the electromagnetic spectra that result from the interaction between electromagnetic radiation and matter as a function of the wavelength or frequency of the radiation. Matter wa ...
and
inorganic chemistry Inorganic chemistry deals with synthesis and behavior of inorganic and organometallic compounds. This field covers chemical compounds that are not carbon-based, which are the subjects of organic chemistry. The distinction between the two disci ...
devote a chapter to the use of symmetry group character tables.


Definition and example

The irreducible complex characters of a
finite group Finite is the opposite of infinite. It may refer to: * Finite number (disambiguation) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marked ...
form a character table which encodes much useful information about the
group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...
''G'' in a compact form. Each row is labelled by an
irreducible character In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information abou ...
and the entries in the row are the values of that character on any representative of the respective
conjugacy class In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other wor ...
of ''G'' (because characters are
class function In mathematics, especially in the fields of group theory and representation theory of groups, a class function is a function on a group ''G'' that is constant on the conjugacy classes of ''G''. In other words, it is invariant under the conjugat ...
s). The columns are labelled by (representatives of) the conjugacy classes of ''G''. It is customary to label the first row by the character of the
trivial representation In the mathematical field of representation theory, a trivial representation is a representation of a group ''G'' on which all elements of ''G'' act as the identity mapping of ''V''. A trivial representation of an associative or Lie algebra is a ...
, which is the trivial action of on a 1-dimensional vector space by \rho(g)=1 for all g\in G . Each entry in the first row is therefore 1. Similarly, it is customary to label the first column by the
identity Identity may refer to: * Identity document * Identity (philosophy) * Identity (social science) * Identity (mathematics) Arts and entertainment Film and television * ''Identity'' (1987 film), an Iranian film * ''Identity'' (2003 film), ...
. The entries of the first column are the values of the irreducible characters at the identity, the
degree Degree may refer to: As a unit of measurement * Degree (angle), a unit of angle measurement ** Degree of geographical latitude ** Degree of geographical longitude * Degree symbol (°), a notation used in science, engineering, and mathematics ...
s of the irreducible characters. Characters of degree ''1'' are known as linear characters. Here is the character table of ''C''3 = '''', the cyclic group with three elements and generator ''u'': where ω is a primitive third root of unity. The character table for general cyclic groups is (a scalar multiple of) the
DFT matrix In applied mathematics, a DFT matrix is an expression of a discrete Fourier transform (DFT) as a transformation matrix, which can be applied to a signal through matrix multiplication. Definition An ''N''-point DFT is expressed as the multiplicati ...
. Another example is the character table of S_3: where (12) represents conjugacy class consisting of (12),(13),(23), and (123) represents conjugacy class consisting of (123),(132). To learn more about character table of symmetric groups, se

The first row of the character table always consists of 1s, and corresponds to the
trivial representation In the mathematical field of representation theory, a trivial representation is a representation of a group ''G'' on which all elements of ''G'' act as the identity mapping of ''V''. A trivial representation of an associative or Lie algebra is a ...
(the 1-dimensional representation consisting of 1×1 matrices containing the entry 1). Further, the character table is always square because (1) irreducible characters are pairwise orthogonal, and (2) no other non-trivial class function is orthogonal to every character. (A class function is one that is constant on conjugacy classes.) This is tied to the important fact that the irreducible representations of a finite group ''G'' are in bijection with its conjugacy classes. This bijection also follows by showing that the class sums form a basis for the center of the group algebra of ''G'', which has dimension equal to the number of irreducible representations of ''G''.


Orthogonality relations

The space of complex-valued class functions of a finite group ''G'' has a natural inner-product: :\left \langle \alpha, \beta\right \rangle := \frac\sum_ \alpha(g) \overline where \overline means the complex conjugate of the value of \beta on g. With respect to this inner product, the irreducible characters form an orthonormal basis for the space of class-functions, and this yields the orthogonality relation for the rows of the character table: :\left \langle \chi_i, \chi_j \right \rangle = \begin 0 & \mbox i \ne j, \\ 1 & \mbox i = j. \end For g, h \in G the orthogonality relation for columns is as follows: :\sum_ \chi_i(g) \overline = \begin \left , C_G(g) \right , , & \mbox g, h \mbox \\ 0 & \mbox\end where the sum is over all of the irreducible characters \chi_i of ''G'' and the symbol \left , C_G(g) \right , denotes the order of the centralizer of g. For an arbitrary character \chi_i, it is irreducible if and only if \left \langle \chi_i, \chi_i \right \rangle =1. The orthogonality relations can aid many computations including: * Decomposing an unknown character as a linear combination of irreducible characters, i.e. # of copies of irreducible representation ''V''''i'' in ''V'' = \left \langle \chi, \chi_i \right \rangle . * Constructing the complete character table when only some of the irreducible characters are known. * Finding the orders of the centralizers of representatives of the conjugacy classes of a group. * Finding the order of the group, \left , G \right , = \left , Cl(g) \right , * \sum_ \chi_i(g) \overline , for any ''g'' in ''G''. If the irreducible representation ''V'' is non-trivial, then \sum_ \chi(g) = 0 . More specifically, consider the
regular representation In mathematics, and in particular the theory of group representations, the regular representation of a group ''G'' is the linear representation afforded by the group action of ''G'' on itself by translation. One distinguishes the left regular rep ...
which is the permutation obtained from a finite group ''G'' acting on itself. The characters of this representation are \chi(e) =\left , G \ and \chi(g) = 0 for g not the identity. Then given an irreducible representation V_i, :\left \langle \chi_, \chi_i \right \rangle =\frac\sum_ \chi_i(g) \overline = \frac \chi_i(1) \overline = \operatorname V_i. Then decomposing the regular representations as a sum of irreducible representations of ''G'', we get V_ = \oplus V_i^. From which we conclude :\left , G \right , = \operatorname V_ = \sum(\operatorname V_i)^2 over all irreducible representations V_i. This sum can help narrow down the dimensions of the irreducible representations in a character table. For example, if the group has order 10 and 4 conjugacy classes (for instance, the dihedral group of order 10) then the only way to express the order of the group as a sum of four squares is 10 = 1^2+1^2+2^2+2^2, so we know the dimensions of all the irreducible representations.


Properties

Complex conjugation acts on the character table: since the complex conjugate of a representation is again a representation, the same is true for characters, and thus a character that takes on non-trivial complex values has a conjugate character. Certain properties of the group ''G'' can be deduced from its character table: * The order of ''G'' is given by the sum of the squares of the entries of the first column (the degrees of the irreducible characters). (See Representation theory of finite groups#Applying Schur's lemma.) More generally, the sum of the squares of the absolute values of the entries in any column gives the order of the centralizer of an element of the corresponding conjugacy class. *All normal subgroups of ''G'' (and thus whether or not ''G'' is simple) can be recognised from its character table. The
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learnin ...
of a character χ is the set of elements ''g'' in ''G'' for which χ(g) = χ(1); this is a normal subgroup of ''G''. Each normal subgroup of ''G'' is the intersection of the kernels of some of the irreducible characters of ''G''. *The number of irreducible representations of ''G'' equals the number of conjugacy classes that ''G'' has. *The
commutator subgroup In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group. The commutator subgroup is important because it is the smallest normal s ...
of is the intersection of the kernels of the linear characters of . *If is finite, then since the character table is square and has as many rows as conjugacy classes, it follows that is abelian iff each conjugacy class is a singleton iff the character table of is , G, \times , G, iff each irreducible character is linear. *It follows, using some results of
Richard Brauer Richard Dagobert Brauer (February 10, 1901 – April 17, 1977) was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular represent ...
from
modular representation theory Modular representation theory is a branch of mathematics, and is the part of representation theory that studies linear representations of finite groups over a field ''K'' of positive characteristic ''p'', necessarily a prime number. As well as ...
, that the prime divisors of the orders of the elements of each conjugacy class of a finite group can be deduced from its character table (an observation of
Graham Higman Graham Higman FRS (19 January 1917 – 8 April 2008) was a prominent English mathematician known for his contributions to group theory. Biography Higman was born in Louth, Lincolnshire, and attended Sutton High School, Plymouth, winning a ...
). The character table does not in general determine the group
up to Two Mathematical object, mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R'' * if ''a'' and ''b'' are related by ''R'', that is, * if ''aRb'' holds, that is, * if the equivalence classes of ''a'' and ''b'' wi ...
isomorphism In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...
: for example, the
quaternion group In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset \ of the quaternions under multiplication. It is given by the group presentation :\mathrm_8 ...
''Q'' and the
dihedral group In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, ge ...
of 8 elements (''D''4) have the same character table. Brauer asked whether the character table, together with the knowledge of how the powers of elements of its conjugacy classes are distributed, determines a finite group up to isomorphism. In 1964, this was answered in the negative by
E. C. Dade Everett Clarence Dade is a mathematician at University of Illinois at Urbana–Champaign working on finite groups and representation theory, who introduced the Dade isometry and Dade's conjecture. While an undergraduate at Harvard University, he ...
. The linear representations of are themselves a group under the
tensor product In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes W ...
, since the tensor product of 1-dimensional vector spaces is again 1-dimensional. That is, if \rho_1:G\to V_1 and \rho_2:G\to V_2 are linear representations, then \rho_1\otimes\rho_2 (g)=(\rho_1(g)\otimes\rho_2(g)) defines a new linear representation. This gives rise to a group of linear characters, called the
character group In mathematics, a character group is the group of representations of a group by complex-valued functions. These functions can be thought of as one-dimensional matrix representations and so are special cases of the group characters that arise in t ...
under the operation chi_1*\chi_2g)=\chi_1(g)\chi_2(g). This group is connected to
Dirichlet characters In analytic number theory and related branches of mathematics, a complex-valued arithmetic function \chi:\mathbb\rightarrow\mathbb is a Dirichlet character of modulus m (where m is a positive integer) if for all integers a and b: :1)   \ch ...
and
Fourier analysis In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Josep ...
.


Outer automorphisms

The
outer automorphism In mathematics, the outer automorphism group of a group, , is the quotient, , where is the automorphism group of and ) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted . If is trivial and has a t ...
group acts on the character table by permuting columns (conjugacy classes) and accordingly rows, which gives another symmetry to the table. For example, abelian groups have the outer automorphism g \mapsto g^, which is non-trivial except for elementary abelian 2-groups, and outer because abelian groups are precisely those for which conjugation (inner automorphisms) acts trivially. In the example of C_3 above, this map sends u \mapsto u^2, u^2 \mapsto u, and accordingly switches \chi_1 and \chi_2 (switching their values of \omega and \omega^2). Note that this particular automorphism (negative in abelian groups) agrees with complex conjugation. Formally, if \phi\colon G \to G is an automorphism of ''G'' and \rho \colon G \to \operatorname is a representation, then \rho^\phi := g \mapsto \rho(\phi(g)) is a representation. If \phi = \phi_a is an
inner automorphism In abstract algebra an inner automorphism is an automorphism of a group, ring, or algebra given by the conjugation action of a fixed element, called the ''conjugating element''. They can be realized via simple operations from within the group it ...
(conjugation by some element ''a''), then it acts trivially on representations, because representations are class functions (conjugation does not change their value). Thus a given class of outer automorphisms, it acts on the characters – because inner automorphisms act trivially, the action of the automorphism group Aut descends to the quotient Out. This relation can be used both ways: given an outer automorphism, one can produce new representations (if the representation is not equal on conjugacy classes that are interchanged by the outer automorphism), and conversely, one can restrict possible outer automorphisms based on the character table.


Finding the vibrational modes of water molecule using character table

To find the total number of vibrational modes of water molecule, the irreducible representation \Gamma_ needs to calculate from the character table of water molecule first.


Finding Γreducible from the Character Table of H2O molecule

Water (H2O) molecule falls under the point group C_. Below is the character table of C_ point group, which is also the character table for water molecule. In here, the first row describes the possible symmetry operations of this point group and the first column represents the Mulliken symbols. The fifth and sixth columns are functions of the axis variables. Functions: * x, y and z are related to translational movement and IR active bands. * R_x, R_y and R_z are related to rotation about respective axis. * Quadratic functions (such as x^2+y^2, x^2-y^2, x^2, y^2,z^2, xy, yz,zx) are related to Raman active bands. When determining the characters for a representation, assign 1 if it remains unchanged, 0 if it moved, and (-1) if it reversed its direction. A simple way to determine the characters for the reducible representation \Gamma_, is to multiply the ''number of unshifted atom(s)'' with '''contribution per atom along each of three axis (x,y,z) when a symmetry operation is carried out. Unless otherwise stated, for the identity operation E, 'contribution per unshifted atom' for each atom is always 3, as none of the atom(s) change their position during this operation. For any reflective symmetry operation \sigma, 'contribution per atom' is always 1, as for any reflection, an atom remains unchanged along with two axis and reverse its direction along with the other axis. For the inverse symmetry operation i, 'contribution per unshifted atom' is always -3, as each of three axis of an atom reverse its direction during this operation. An easiest way to calculate 'contribution per unshifted atom' for C_n and S_n symmetry operation is to use below formulas C_n=2\cos\theta+1 S_n=2\cos\theta-1 Where, \theta=\frac A simplified version of above statements is summarized in the table below ''Character of \Gamma_ for any symmetry operation = Number of unshifted atom(s) during this operation \times Contribution per unshifted atom along each of three axis''


Calculating the irreducible representation Γirreducible from the reducible representation Γreducible along with the character table

From the above discussion, a new character table for water molecule (C_ point group) can be written as Using the new character table including \Gamma_, the reducible representation for all motion of the H2O molecule can be reduced using below formula N=\frac\sum_(X^x_i\times X^x_r\times n^x) where, h= order of the group, X^x_i= character of the \Gamma_ for a particular class, X^x_r= character from the reducible representation for a particular class, n^x= the number of operations in the class So, N_=\frac +\+\+\3 N_=\frac +\+\+\1 N_=\frac +\+\+\3 N_=\frac +\+\+\2 So, the reduced representation for all motions of water molecule will be \Gamma_=3A_1+A_2+3B_1+2B_2


Translational motion for water molecule

Translational motion will corresponds with the reducible representations in the character table, which have x, y and z function As only the reducible representations B_1, B_2 and A_1 correspond to the x, y and z function, \Gamma_=A_1+B_1+B_2


Rotational motion for water molecule

Rotational motion will corresponds with the reducible representations in the character table, which have R_x, R_y and R_z function As only the reducible representations B_2, B_1 and A_2 correspond to the x, y and z function, \Gamma_=A_2+B_1+B_2


Total vibrational modes for water molecule

Total vibrational mode, \Gamma_=\Gamma_-\Gamma_-\Gamma_ =(3A_1+A_2+3B_1+2B_2)-(A_1+B_1+B_2)-(A_2+B_1+B_2) =2A_1+B_1 So, total (2+1)=3 vibrational modes are possible for water molecules and two of them are symmetric vibrational modes (as 2A_1) and the other vibrational mode is antisymmetric (as 1B_1)


Checking whether the water molecule is IR active or Raman active

There is some rules to be IR active or Raman active for a particular mode. * If there is a x, y or z for any irreducible representation, then the mode is IR active * If there is a quadratic functions such as x^2+y^2, x^2-y^2, x^2, y^2,z^2, xy, yz or xz for any irreducible representation, then the mode is Raman active * If there is no x, y, z nor quadratic functions for any irreducible representation, then the mode is neither IR active nor Raman active As the vibrational modes for water molecule \Gamma_ contains both x, y or z and quadratic functions, it has both the IR active vibrational modes and Raman active vibrational modes. Similar rules will apply for rest of the irreducible representations \Gamma_,\Gamma_,\Gamma_


See also

* *
Molecular symmetry Molecular symmetry in chemistry describes the symmetry present in molecules and the classification of these molecules according to their symmetry. Molecular symmetry is a fundamental concept in chemistry, as it can be used to predict or explain m ...
*
List of character tables for chemically important 3D point groups This lists the character tables for the more common molecular point groups used in the study of molecular symmetry. These tables are based on the group-theoretical treatment of the symmetry operations present in common molecules, and are useful i ...

Character tables of small groups on GroupNames
* *


References

{{DEFAULTSORT:Character Table Group theory Representation theory